Dynamic modeling of uteroplacental blood flow in IUGR indicates vortices and elevated pressure in the intervillous space - a pilot study

Ischemic placental disease is a concept that links intrauterine growth retardation (IUGR) and preeclampsia (PE) back to insufficient remodeling of uterine spiral arteries. The rheological consequences of insufficient remodeling of uterine spiral arteries were hypothesized to mediate the considerably later manifestation of obstetric disease. However, the micro-rheology in the intervillous space (IVS) cannot be examined clinically and rheological animal models of the human IVS do not exist. Thus, an in silico approach was implemented to provide in vivo inaccessible data. The morphology of a spiral artery and the inflow region of the IVS were three-dimensionally reconstructed to provide a morphological stage for the simulations. Advanced high-end supercomputing resources were used to provide blood flow simulations at high spatial resolution. Our simulations revealed turbulent blood flow (high-velocity jets and vortices) combined with elevated blood pressure in the IVS and increased wall shear stress at the villous surface in conjunction with insufficient spiral artery remodeling only. Post-hoc histological analysis of uterine veins showed evidence of increased trophoblast shedding in an IUGR placenta. Our data support that rheological alteration in the IVS is a relevant mechanism linking ischemic placental disease to altered structural integrity and function of the placenta

Card-Based Cryptography Meets Formal Verification

Card-based cryptography provides simple and practicable protocols for performing secure multi-party computation (MPC) with just a deck of cards. For the sake of simplicity, this is often done using cards with only two symbols, e.g., ♣ and ♡. Within this paper, we target the setting where all cards carry distinct symbols, catering for use-cases with commonly available standard decks and a weaker indistinguishability assumption. As of yet, the literature provides for only three protocols and no proofs for non-trivial lower bounds on the number of cards. As such complex proofs (handling very large combinatorial state spaces) tend to be involved and error-prone, we propose using formal verification for finding protocols and proving lower bounds. In this paper, we employ the technique of software bounded model checking (SBMC), which reduces the problem to a bounded state space, which is automatically searched exhaustively using a SAT solver as a backend. Our contribution is twofold: (a) We identify two protocols for converting between different bit encodings with overlapping bases, and then show them to be card-minimal. This completes the picture of tight lower bounds on the number of cards with respect to runtime behavior and shuffle properties of conversion protocols. For computing AND, we show that there is no protocol with finite runtime using four cards with distinguishable symbols and fixed output encoding, and give a four-card protocol with an expected finite runtime using only random cuts. (b) We provide a general translation of proofs for lower bounds to a bounded model checking framework for automatically finding card- and length-minimal protocols and to give additional confidence in lower bounds. We apply this to validate our method and, as an example, confirm our new AND protocol to have a shortest run for protocols using this number of cards

Strange Meson Enhancement in PbPb Collisions

The NA44 Collaboration has measured yields and differential distributions of K+, K-, pi+, pi- in transverse kinetic energy and rapidity, around the center-of-mass rapidity in 158 A GeV/c Pb+Pb collisions at the CERN SPS. A considerable enhancement of K+ production per pi is observed, as compared to p+p collisions at this energy. To illustrate the importance of secondary hadron rescattering as an enhancement mechanism, we compare strangeness production at the SPS and AGS with predictions of the transport model RQMD.Comment: 11 pages, including 4 figures, LATE

The Flavor Asymmetry of the Light Quark Sea from Semi-inclusive Deep-inelastic Scattering

The flavor asymmetry of the light quark sea of the nucleon is determined in the kinematic range 0.02<x<0.3 and 1 GeV^2<Q^2<10 GeV^2, for the first time from semi-inclusive deep-inelastic scattering. The quantity (dbar(x)-ubar(x))/(u(x)-d(x)) is derived from a relationship between the yields of positive and negative pions from unpolarized hydrogen and deuterium targets. The flavor asymmetry dbar-ubar is found to be non-zero and x dependent, showing an excess of dbar over ubar quarks in the proton.Comment: 7 Pages, 2 figures, RevTeX format; slight revision in text, small change in extraction of dbar-ubar and comparison with a high q2 parameterizatio

Measurement of the Proton Spin Structure Function g1p with a Pure Hydrogen Target

A measurement of the proton spin structure function g1p(x,Q^2) in deep-inelastic scattering is presented. The data were taken with the 27.6 GeV longitudinally polarised positron beam at HERA incident on a longitudinally polarised pure hydrogen gas target internal to the storage ring. The kinematic range is 0.021<x<0.85 and 0.8 GeV^2<Q^2<20 GeV^2. The integral Int_{0.021}^{0.85} g1p(x)dx evaluated at Q0^2 of 2.5 GeV^2 is 0.122+/-0.003(stat.)+/-0.010(syst.).Comment: 7 pages, 3 figures, 1 table, RevTeX late

Beam-Induced Nuclear Depolarisation in a Gaseous Polarised Hydrogen Target

Spin-polarised atomic hydrogen is used as a gaseous polarised proton target in high energy and nuclear physics experiments operating with internal beams in storage rings. When such beams are intense and bunched, this type of target can be depolarised by a resonant interaction with the transient magnetic field generated by the beam bunches. This effect has been studied with the HERA positron beam in the HERMES experiment at DESY. Resonances have been observed and a simple analytic model has been used to explain their shape and position. Operating conditions for the experiment have been found where there is no significant target depolarisation due to this effect.Comment: REVTEX, 6 pages, 5 figure

Observation of a Coherence Length Effect in Exclusive Rho^0 Electroproduction

Exclusive incoherent electroproduction of the rho^0(770) meson from 1H, 2H, 3He, and 14N targets has been studied by the HERMES experiment at squared four-momentum transfer Q**2>0.4 GeV**2 and positron energy loss nu from 9 to 20 GeV. The ratio of the 14N to 1H cross sections per nucleon, known as the nuclear transparency, was found to decrease with increasing coherence length of quark-antiquark fluctuations of the virtual photon. The data provide clear evidence of the interaction of the quark- antiquark fluctuations with the nuclear medium.Comment: RevTeX, 5 pages, 3 figure

Exclusive Leptoproduction of rho^0 Mesons from Hydrogen at Intermediate Virtual Photon Energies

Measurements of the cross section for exclusive virtual-photoproduction of rho^0 mesons from hydrogen are reported. The data were collected by the HERMES experiment using 27.5 GeV positrons incident on a hydrogen gas target in the HERA storage ring. The invariant mass W of the photon-nucleon system ranges from 4.0 to 6.0 GeV, while the negative squared four-momentum Q^2 of the virtual photon varies from 0.7 to 5.0 GeV^2. The present data together with most of the previous data at W > 4 GeV are well described by a model that infers the W-dependence of the cross section from the dependence on the Bjorken scaling variable x of the unpolarized structure function for deep-inelastic scattering. In addition, a model calculation based on Off-Forward Parton Distributions gives a fairly good account of the longitudinal component of the rho^0 production cross section for Q^2 > 2 GeV^2.Comment: 10 pages, 6 embedded figures, LaTeX for SVJour(epj) document class. Revisions: curves added to Fig. 1, several clarifications added to tex

Single-spin Azimuthal Asymmetries in Electroproduction of Neutral Pions in Semi-inclusive Deep-inelastic Scattering

A single-spin asymmetry in the azimuthal distribution of neutral pions relative to the lepton scattering plane has been measured for the first time in deep-inelastic scattering of positrons off longitudinally polarized protons. The analysing power in the sin(phi) moment of the cross section is 0.019 +/- 0.007(stat.) +/- 0.003(syst.). This result is compared to single-spin asymmetries for charged pion production measured in the same kinematic range. The pi^0 asymmetry is of the same size as the pi^+ asymmetry and shows a similar dependence on the relevant kinematic variables. The asymmetry is described by a phenomenological calculation based on a fragmentation function that represents sensitivity to the transverse polarization of the struck quark.Comment: 4 pages, 1 figure, replaced to correct eprint author field, 2nd replacement to correct figure; upper limit of model predictions are corrected. No correction to data or conclusion

Determination of the Deep Inelastic Contribution to the Generalised Gerasimov-Drell-Hearn Integral for the Proton and Neutron

The virtual photon absorption cross section differences [sigma_1/2-sigma_3/2] for the proton and neutron have been determined from measurements of polarised cross section asymmetries in deep inelastic scattering of 27.5 GeV longitudinally polarised positrons from polarised 1H and 3He internal gas targets. The data were collected in the region above the nucleon resonances in the kinematic range nu < 23.5 GeV and 0.8 GeV**2 < Q**2 < 12 GeV**2. For the proton the contribution to the generalised Gerasimov-Drell-Hearn integral was found to be substantial and must be included for an accurate determination of the full integral. Furthermore the data are consistent with a QCD next-to-leading order fit based on previous deep inelastic scattering data. Therefore higher twist effects do not appear significant.Comment: 6 pages, 3 figures, 1 table, revte